#include "systemc.h"
int sc_main(int i, char* a[])
{
  FILE *outfp;
  //char out_file[256];
  //sprintf(out_file, "./hello.log");
  outfp = fopen("./hello.log", "w");
  //outfp = fopen(out_file, "w");
  if(outfp == NULL){
    printf("Couldnot open for writing.\n");
    exit(0);
  }
  
  cout<<"Hello, World!"<<endl;
  fprintf(outfp, "Hello, World!");
  fclose(outfp);
  
  return 0;
}
